Constraint programming

Results: 1169



#Item
291Constraint logic programming / Constraint programming / Local consistency / Decomposition method

The Balance Constraint Family Christian Bessiere1 , Emmanuel Hebrard2 , George Katsirelos3 , Zeynep Kiziltan4 , ´ Emilie Picard-Cantin5 , Claude-Guy Quimper5 , and Toby Walsh6 1

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-05-28 03:25:20
292Computing / Constraint satisfaction / Constraint optimization / Local consistency / Local search / Mathematical optimization / Decomposition method / Constraint Composite Graph / Constraint programming / Software engineering / Computer programming

An Elegant and Efficient Implementation of RDS for VWCSP

Add to Reading List

Source URL: tbenoist.pagesperso-orange.fr

Language: English - Date: 2008-07-09 00:55:59
293Systems theory / Constraint programming / Dynamical system / Systems

Fast Binding-Time Analysis for Multi-Level Specialization Robert Gl¨ uck1 and Jesper Jørgensen2 1

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:05
294Constraint satisfaction / Computing / Mathematical optimization / Polynomial / Constraint / Constraint logic programming / Constraint programming / Software engineering / Computer programming

Super Solutions Emmanuel Hebrard Toulouse Outline

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-02-17 03:08:57
295Unified Modeling Language / ISO standards / Diagrams / Knowledge representation / Eiffel / Archetype / Beale / Object Constraint Language / XML / Computing / Software engineering / Object-oriented programming

The GEHR Object Model Architecture Rev 4.1 draft E The GEHR Object Model Architecture Authors: Thomas Beale Revision: 4.1 draft E

Add to Reading List

Source URL: www.openehr.org

Language: English - Date: 2015-05-28 09:28:24
296Dynamic programming / Markov processes / Stochastic control / Constraint programming / Constraint satisfaction problem / Actor model / Problem solving / Constraint satisfaction / STRIPS / Statistics / Artificial intelligence / Automated planning and scheduling

Principles of AI Problem Solving Tutorial IJCAI-05 Adnan Darwiche (UCLA, Los Angeles) Rina Dechter (UCI, Irvine) H. Geffner (UPF, Barcelona)

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2008-09-08 14:27:27
297Decomposition method / Directed acyclic graph / Bayesian network / Hybrid algorithm / Constraint programming / Graph theory / Theoretical computer science

COMPSCI 276 Homework Assignment 5 Fall 2014 Instructor: Rina Dechter Due:Monday, November 17th

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2014-11-07 17:37:34
298Euclidean plane geometry / Golden ratio / Linear programming / Numbers / Mathematical analysis / Convex optimization / Mathematics / Constraint programming

Soft Car Sequencing With Colors: Lower Bounds and Optimality Proofs Thierry Benoist Bouygues e-lab, 32 av. Hoche, 75008 Paris, France

Add to Reading List

Source URL: tbenoist.pagesperso-orange.fr

Language: English - Date: 2008-07-09 00:56:05
299Applied mathematics / Constraint satisfaction / Minion / Linear programming / Constraint algorithm / Labour economics / Constraint programming / Software engineering / Computer programming

A Constraint Model for the Settlers Planning Domain Peter Gregory Andrea Rendl University of Strathclyde

Add to Reading List

Source URL: andrearendl.com

Language: English - Date: 2013-08-29 08:24:47
300Numerical analysis / Mathematics / Simplex algorithm / Constraint optimization / Linear programming / Quadratic programming / Constraint / Slack variable / Active set / Mathematical optimization / Constraint programming / Operations research

Solving Linear Arithmetic Constraints for User Interface Applications Alan Borning and Kim Marriott Department of Computer Science Monash University Clayton, Victoria 3168, AUSTRALIA

Add to Reading List

Source URL: constraints.cs.washington.edu

Language: English - Date: 2014-05-20 21:24:10
UPDATE